منابع مشابه
Archive Migration through Workflow Automation
The Center for Plasma Edge Simulation project aims to automate the tedious tasks of simulation monitoring, data archival and coupling simulation codes using the Kepler scientific workflow environment. The technology has been successfully applied for migrating a combustion data archive of 10TB from NERSC to ORNL, where there were no other automated solutions for this task. This paper describes t...
متن کاملSafe and scalable build automation through virtualization
Hardware virtualization is often used to achieve isolation of one application from another, while still allowing to run the applications on the same physical hardware for better utilization; using separate machines might have been an alternative. Often, people associate this scenario with long-running tasks, such as web servers or other services offered in the network. In this paper, we discuss...
متن کاملAutomation of Database Design through Semantic Analysis
This paper presents the use of heuristics gained from the syntactic and semantic knowledge for the creation of database design in terms of the Entity-Relationship(ER) model through natural language processing. The application of both syntactic and semantic heuristics is used as the strategy to obtain the relevant ER elements such as entities, attributes and relationships from the specifications...
متن کاملExtensible and Efficient Automation Through Reflective Tactics
Foundational proof assistants simultaneously offer both expressive logics and strong guarantees. The price they pay for this flexibility is often the need to build and check explicit proof objects which can be expensive. In this work we develop a collection of techniques for building reflective automation, where proofs are witnessed by verified decision procedures rather than verbose proof obje...
متن کاملAdaptive User Interfaces through Dynamic Design Automation
The inherent difficulty in supporting human usability in large control systems—such as building environmental and security systems—derives from the large diversity of components and users within each domain. Each system is different, with different types and organizations of devices; each user is different, and takes different roles; each task a user performs varies with the situation. As a res...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Methods
سال: 2008
ISSN: 1548-7091,1548-7105
DOI: 10.1038/nmeth.f.238